Verificador de circuitos lógicos

Authors: Rafael Urretabizkaya Garbos, Reyes Ríos Cabrera, Ricardo Chaparro Sánchez

Research in Computing Science, Vol. 7, pp. 194-202, 2004.